$\forall$$a$:$\mathbb{Z}$. atomic($a$) $\Leftrightarrow$ \{$\neg$($a$ $\sim$ 1) \& ($\forall$$b$:$\mathbb{Z}$. $b$ $\mid$ $a$ $\Rightarrow$ ($b$ $\sim$ 1) $\vee$ ($b$ $\sim$ $a$))\}